Step of Proof: integer sqrt 11,40
Inference at * 1 0 1 3 1 2 
Iof proof for Lemma integer sqrt:



1. n : 
2. 0 < n
3. r:. (((r * r)  (n - 1)) & ((n - 1) < ((r+1) * (r+1))))
  r:. (((r * r)  n) & (n < ((r+1) * (r+1)))) 
latex
 by AddHiddenLabel `upcase` 
latex

 1: .....upcase..... NILNIL

 1:   r:. (((r * r)  n) & (n < ((r+1) * (r+1))))
 .

origin